% Ejercicio 2

ventas(maria).
ventas(juan).
ventas(roque).

compras(nora).
compras(pedro).

administracion(felipe).
administracion(hugo).
administracion(ana).

empleado(maria).
cadete(juan).
cadete(roque).

empleado(nora).
cadete(pedro).

empleado(felipe).
empleado(hugo).
cadete(ana).

/* */
mismoDep(X,Y) :- ventas(X), ventas(Y).
mismoDep(X,Y) :- compras(X), compras(Y).
mismoDep(X,Y) :- administracion(X), administracion(Y).

superior(X,Y) :- mismoDep(X,Y), empleado(X), cadete(Y).

:- op(1000,xfy,'es_superior_de').

X es_superior_de Y :- superior(X,Y).

/*
o

depto( ventas, maria ).
depto( ventas, juan ).
depto( ventas, roque ).

depto( compras, nora ).
depto( compras, pedro ).

depto( administracion, felipe ).
depto( administracion, hugo ).
depto( administracion, ana ).

cargo( empleado, maria ).
cargo( cadete, juan ).
cargo( cadete, roque ).

cargo( empleado, nora ).
cargo( cadete, pedro).

cargo( empleado, felipe ).
cargo( empleado, hugo ).
cargo( cadete, ana).

mismoDep(X,Y) :- depto( Z, X ), depto( Z, Y ).

superior(X,Y) :- mismoDep(X,Y), cargo( empleado, X ), cargo( cadete, Y ).

:- op(1000,xfy,'es_superior_de').

X es_superior_de Y :- superior(X,Y).
*/